<?php
array ($a);